dimap f id (p b b) :: p a b